more on this theme
|
more from this thinker
Single Idea 18361
[filed under theme 8. Modes of Existence / A. Relations / 4. Formal Relations / a. Types of relation
]
Full Idea
An asymmetric relation must be irreflexive: any case of aRa will yield a reductio of the assumption that R is asymmetric.
Gist of Idea
A reflexive relation entails that the relation can't be asymmetric
Source
Marian David (Truth-making and Correspondence [2009], 4)
Book Ref
'Truth and Truth-Making', ed/tr. Lowe,E.J./Rami,A. [Acumen 2009], p.152
The
12 ideas
from 'Truth-making and Correspondence'
|
18354
|
Correspondence is symmetric, while truth-making is taken to be asymmetric
[David]
|
|
18356
|
Correspondence is an over-ambitious attempt to explain truth-making
[David]
|
|
18359
|
One proposition can be made true by many different facts
[David]
|
|
18357
|
What makes a disjunction true is simpler than the disjunctive fact it names
[David]
|
|
18358
|
Two different propositions can have the same fact as truth-maker
[David]
|
|
18355
|
What matters is truth-making (not truth-makers)
[David]
|
|
18360
|
It is assumed that a proposition is necessarily true if its truth-maker exists
[David]
|
|
18363
|
Correspondence theorists see facts as the only truth-makers
[David]
|
|
18361
|
A reflexive relation entails that the relation can't be asymmetric
[David]
|
|
18362
|
Examples show that truth-making is just non-symmetric, not asymmetric
[David]
|
|
18364
|
Correspondence theory likes ideal languages, that reveal the structure of propositions
[David]
|
|
18365
|
If truths are just identical with facts, then truths will make themselves true
[David]
|